Generic Trace Logics

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova

A bijection between the d-dimensional simplices with distances in {1,2} and the partitions of d+1

We give a construction for the d-dimensional simplices with all distances in {1,2} from the set of partitions of d+1.Comment: 2 page

Entwicklung und Anwendung eines gekoppelten Klima-Chemie-Modellsystems

Im Rahmen der Arbeit wird eine neue, von Beobachtungen der Dynamik angetriebene Version des gekoppelten Klima-Chemiemodellsystems ECHAM5/MESSy vorgestellt. Ein wesentlicher Vorteil dieser Modellversion ist die Möglichkeit, die modellierten chemischen Spurengase erstmals direkt mit Einzelmessungen zu vergleichen. Es werden verschiedene Parametrisierungen für Stickoxidemissionen aus Blitzen getestet. Die modellierten Stickoxid- und Ozonmischungsverhältnisse werden anhand von Flugzeugmessungen aus der oberen tropischen Troposphäre validiert. Ein Vergleich der simulierten Spurengasverteilung in der unteren Stratosphäre mit MIPAS/ENVISAT Beobachtungen belegt, dass ein realistisches Transportverhalten, speziell in der polaren Stratosphäre, erst mit der im Rahmen dieser Arbeit entwickelten vertikal höher aufgelösten Modellversion garantiert werden kann

Venomous secretions from marine snails of the Terebridae family target acetylcholine receptors

Venoms from cone snails (Conidae) have been extensively studied during the last decades, but those from other members of the suborder Toxoglossa, such as of Terebridae and Turridae superfamilies attracted less interest so far. Here, we report the effects of venom and gland extracts from three species of the superfamily Terebridae. By 2-electrode voltage-clamp technique the gland extracts were tested on Xenopus oocytes expressing nicotinic acetylcholine receptors (nAChRs) of rat neuronal (α3β2, α3β4, α4β2, α4β4, α7) and muscle subtypes (α1β1γδ), and expressing potassium (Kv1.2 and Kv1.3) and sodium channels (Nav1.2, 1.3, 1.4, 1.6). The extracts were shown to exhibit remarkably high inhibitory activities on almost all nAChRs tested, in particular on the α7 subtype suggesting the presence of peptides of the A-superfamily from the venom of Conus species. In contrast, no effects on the potassium and sodium channels tested were observed. The venoms of terebrid snails may offer an additional source of novel biologically active peptides

IS THE LOCAL MINIMUM IN THE FORCE TIME HISTORY IN COUNTERMOVEMENT JUMPS RELATED TO JUMP PERFORMANCE?

The purpose of this study was to investigate the relationship between joint kinematics and joint kinetics of the lower extremity to the decrease in the force time curve in counter movement jumps. Thirty-five sports students performed maximum voluntary countermovement jumps. Two force plates and a 10 camera optoelectronic system as well as a full-body model were used to measure joint kinematics and kinetics. Twelve subjects showed a characteristic double peak in force-time-history in the concentric phase. This pattern was not directly related to jumping height. However the time for the total movement cycle as well as for the concentric phase of the jump was longer. In some sports it is necessary the produce maximum impulse in the concentric phase in a short period of time. In those cases a different movement strategy might be beneficial

Constrained camera motion estimation and 3D reconstruction

The creation of virtual content from visual data is a tedious task which requires a high amount of skill and expertise. Although the majority of consumers is in possession of multiple imaging devices that would enable them to perform this task in principle, the processing techniques and tools are still intended for the use by trained experts. As more and more capable hardware becomes available, there is a growing need among consumers and professionals alike for new flexible and reliable tools that reduce the amount of time and effort required to create high-quality content. This thesis describes advances of the state of the art in three areas of computer vision: camera motion estimation, probabilistic 3D reconstruction, and template fitting. First, a new camera model geared towards stereoscopic input data is introduced, which is subsequently developed into a generalized framework for constrained camera motion estimation. A probabilistic reconstruction method for 3D line segments is then described, which takes global connectivity constraints into account. Finally, a new framework for symmetry-aware template fitting is presented, which allows the creation of high-quality models from low-quality input 3D scans. Evaluations with a broad range of challenging synthetic and real-world data sets demonstrate that the new constrained camera motion estimation methods provide improved accuracy and flexibility, and that the new constrained 3D reconstruction methods improve the current state of the art.Die Erzeugung virtueller Inhalte aus visuellem Datenmaterial ist langwierig und erfordert viel Geschick und Sachkenntnis. Obwohl der Großteil der Konsumenten mehrere Bildgebungsgeräte besitzt, die es ihm im Prinzip erlauben würden, dies durchzuführen, sind die Techniken und Werkzeuge noch immer für den Einsatz durch ausgebildete Fachleute gedacht. Da immer leistungsfähigere Hardware zur Verfügung steht, gibt es sowohl bei Konsumenten als auch bei Fachleuten eine wachsende Nachfrage nach neuen flexiblen und verlässlichen Werkzeugen, die die Erzeugung von qualitativ hochwertigen Inhalten vereinfachen. In der vorliegenden Arbeit werden Erweiterungen des Stands der Technik in den folgenden drei Bereichen der Bildverarbeitung beschrieben: Kamerabewegungsschätzung, wahrscheinlichkeitstheoretische 3D-Rekonstruktion und Template-Fitting. Zuerst wird ein neues Kameramodell vorgestellt, das für die Verarbeitung von stereoskopischen Eingabedaten ausgelegt ist. Dieses Modell wird in der Folge in eine generalisierte Methode zur Kamerabewegungsschätzung unter Nebenbedingungen erweitert. Anschließend wird ein wahrscheinlichkeitstheoretisches Verfahren zur Rekonstruktion von 3D-Liniensegmenten beschrieben, das globale Verbindungen als Nebenbedingungen berücksichtigt. Schließlich wird eine neue Methode zum Fitting eines Template-Modells präsentiert, bei der die Berücksichtigung der Symmetriestruktur des Templates die Erzeugung von Modellen hoher Qualität aus 3D-Eingabedaten niedriger Qualität erlaubt. Evaluierungen mit einem breiten Spektrum an anspruchsvollen synthetischen und realen Datensätzen zeigen, dass die neuen Methoden zur Kamerabewegungsschätzung unter Nebenbedingungen höhere Genauigkeit und mehr Flexibilität ermöglichen, und dass die neuen Methoden zur 3D-Rekonstruktion unter Nebenbedingungen den Stand der Technik erweitern